/*
 * ztest.c
 *
 *  Created on: May 24, 2014
 *      Author: eran
 */

#include "types.h"
#include "stat.h"
#include "user.h"


int
main(int argc, char *argv[])
{
	int* zero = 0;
	printf(1, "Text segment: %d\n",*zero);
	*zero = 0;
	printf(1, "Text segment: %d\n",*zero);
	exit();
}
